"Giovanni Sambin" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

Автор: Per Martin-Löf

Размер книги: 645 Kb

Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

Автор: Per Martin-Lof

Размер книги: 2.35 Mb

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995

Автор: Giovanni Sambin, Автор: Jan M. Smith

Размер книги: 14.04 Mb

Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995

Автор: Giovanni Sambin, Автор: Jan M. Smith

Категория: Mathematical logic

Размер книги: 2.07 Mb